How to compute antiderivatives

نویسنده

  • Chris Freiling
چکیده

The roots of this problem go back to the beginnings of calculus and it is even sometimes called “Newton’s problem”. Historically, it has played a major role in the development of the theory of the integral. For example, it was Lebesgue’s primary motivation behind his theory of measure and integration. Indeed, the Lebesgue integral solves the primitive problem for the important special case when f(x) is bounded. Yet, as Lebesgue noted with apparent regret, there are very simple derivatives (e.g., the derivative of F (0) = 0, F (x) = x sin(1/x) for x 6= 0) which cannot be inverted using his integral. The general problem of the primitive was finally solved in 1912 by A. Denjoy. But his integration process was more complicated than that of Lebesgue. Denjoy’s basic idea was to first calculate the definite integral R b

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Integral Categories and Calculus Categories

Differential categories are now an established abstract setting for differentiation. The paper presents the parallel development for integration by axiomatizing an integral transformation, sA : !A→ !A⊗A, in a symmetric monoidal category with a coalgebra modality. When integration is combined with differentiation, the two fundamental theorems of calculus are expected to hold (in a suitable sense...

متن کامل

Extensions by Antiderivatives, Exponentials of Integrals and by Iterated Logarithms

Let F be a characteristic zero differential field with an algebraically closed field of constants C, E ⊃ F be a no new constant extension by antiderivatives of F and let y1, · · · yn be antiderivatives of E. The antiderivatives y1, · · · , yn of E are called J-I-E antiderivatives if y′i ∈ E satisfies certain conditions. We will discuss a new proof for the KolchinOstrowski theorem and generalize...

متن کامل

. S C ] 1 9 Ja n 20 14 Parallel Telescoping and Parameterized Picard – Vessiot Theory ∗

Parallel telescoping is a natural generalization of differential creativetelescoping for single integrals to line integrals. It computes a linear ordinary differential operator L, called a parallel telescoper, for several multivariate functions, such that the applications of L to the functions yield antiderivatives of a single function. We present a necessary and sufficient condition guaranteei...

متن کامل

Primal-Dual Symmetric Intrinsic Methods for Finding Antiderivatives of Cyclically Monotone Operators

A fundamental result due to Rockafellar states that every cyclically monotone operatorA admits an antiderivative f in the sense that the graph ofA is contained in the graph of the subdifferential operator ∂f . Given a method m that assigns every finite cyclically monotone operator A some antiderivative mA, we say that the method is primal-dual symmetric if m applied to the inverse of A produces...

متن کامل

Tangent Lines to Curves Arising from Automorphic Distributions

Automorphic distributions arise in connection with boundary values of modular forms and Maass forms. In most cases, these distributions have antiderivatives that are continuous functions. We shall look at the result of graphing the real vs. imaginary parts of these functions. Because of the automorphic properties of the distributions we consider, the graphs of their antiderivatives are curves w...

متن کامل

Symbolic-Numeric Integration of Rational Functions

We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of ill-conditioning to which numerical methods are susceptible. We propose two alternative methods for exact input that compute the rational part of the integral using He...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Bulletin of Symbolic Logic

دوره 1  شماره 

صفحات  -

تاریخ انتشار 1995